Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·18h·
Discuss: DEV
🔗Concatenative Programming
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·19h·
Discuss: Hacker News
🤖Archive Automation
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·5h
🗃️Database Storage
What LLMs Know About Their Users
schneier.com·3h
💻Local LLMs
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Proving that every program halts
ntietz.com·2d
👑Isabelle
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·18h·
Discuss: Hacker News
🕸️WebP Analysis
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
How To Prepare Your API for AI Agents
thenewstack.io·1h
🔌Interface Evolution
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Networking for Systems Administrators
mwl.io·1h·
Discuss: Hacker News
🌐DNS over QUIC